discard """
output: "\n"
"""

echo()

